$\forall$$R$:Realizer. scheme{-}constant($R$) $\in$ RealizerScheme\{i:l\}()